<?php

session_start();
if (!isset($_SESSION['MM_COD_USUARIO']))
    header("location:login.php");

echo "ESA INSTALACI&Oacute;N YA EST&Aacute; OCUPADA, SELECCIONA OTRA PISTA O OTRO HORARIO, GRACIAS!"."<br>";

echo "<a href=\"reserva.php\">"."INTENTALO DE NUEVO"."</a>";

?>
